🔠 Type-Level Programming - matmat · Scour

Family Orienting Python Frozenset Dependent Type Theory λLambda Formalization

philipzucker.com·2d

Syntax and Semantics of Linear Dependent Types λLambda Formalization

Agentic AI token compression using Haskell 🔗Monadic Parsing

blog.dan-gilmour.com·4h·Hacker News

Macros in Fir 🦀Rust Macros

tidwall/btype: B-tree based collection types for Go 🔗Topological Sorting

github.com·1d·Lobsters, Hacker News

Show HN: Formal Verification with Lean ⚔️Lean Tactics

daniellowengrub.com·2h·Hacker News

The appeal of bidirectional type-checking ⬌Bidirectional Typing

haskellforall.com·3d

Technical Dimensions of Programming Systems 🛠Language Design

tomasp.net·2d·Hacker News

Abstract Machines for Logic Programs 🔍Type Inference

chrisistyping.bearblog.dev·2d·Lobsters, Hacker News, r/programming

What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style ✨Effect Handlers

link.springer.com·5d·Hacker News

Relational modeling and APL ⁑ Dercuano 📊APL Heritage

dercuano.github.io·2d·Lobsters

From Stringly to Strongly Typed 🔬Refinement Types

eignex.com·5d·Hacker News

7 lines of code, 3 minutes: Implement a programming language (2010) 🔗Lisp

matt.might.net·1d·Hacker News, r/programming

Break the Loop, Part 3: When the Shape of the Answer Becomes the Program 🔗Concatenative Programming

hackernoon.com·1d

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase 👑Isabelle

types.pl·6d·Lobsters

Compile-Time Map and Compile-Time Mutable Variable with C++26 Reflection 🦀Rust Verification

stackoverflow.blog·1d·r/cpp

The Capability-Tractability Tradeoff 🎯Performance Proofs

buttondown.com·1d

Notes from Optimizing CPU-Bound Go Hot Paths 🔒Type Safety

blog.andr2i.com·4d·Hacker News, r/golang

F# Weekly #19, 2026 – Understanding Compilers Through an Algebraic Expression Compiler 💧Liquid Types

sergeytihon.com·2d

Predicate pushdown, a planner perspective 🔗Constraint Handling

floedb.ai·4d·Hacker News

Log in to enable infinite scrolling